In matematica, l'assioma dell'insieme potenza è uno degli assiomi della teoria degli insiemi di Zermelo-Fraenkel.
Nel linguaggio formale degli assiomi di Zermelo-Fraenkel, l'assioma si scrive:
Oppure a parole:
Per l'assioma di estensionalità questo insieme è unico. Chiamiamo l'insieme insieme potenza di A. Quindi l'essenza dell'assioma è:
L'assioma dell'insieme potenza è generalmente considerato non controverso, e appare in questa forma o in una forma equivalente in quasi tutte le assiomatizzazioni alternative della teoria degli insiemi.
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search